compact element meaning in English
代数格
代数偏序集合
代数有向完全偏序
紧致元素
Examples
- Abstract : we introduce and investigate lower homomorphisms and upper homomorphisms of generalized - continuous lattices . a necessary and sufficient condition for a mapping between compact elements of generalized - algebraic lattices to be extended to a lower homomorphism is established
文摘:引进和研究了广义连续格的下同态和上同态,建立了广义代数格紧元素之间的映射扩充为下同态的充要条件。 - When / is infinite and 6 is a compact element and with an irredundant finite join - decomposition , it is showed that a sufficient and necessary condition that the solution set is nonempty . it is also proved that there exists a minimal solution if the solution set of the equation sup t ( ai , xi ) = b is nonempty
当论域为无限集， b为紧元且有不可约有限并分解时，给出了解集非空的充要条件，证明了如果方程sup _ ( i i ) ( a _ i ， x _ i ) = b有解，则一定存在极小解。 - Secondly , based on the theory of consistent l - domains and their directed completions established by professor xu , this paper proves that the set of compact elements in a consistently algebraic l - domain is an l - cusl and that the ideal completion of the set of compact elements in a consistently algebraic l - domain is isomorphic to its directed completion , which characterizes the directed completion of consistently algebraic l - domains
在徐罗山教授所建立的相容l - domain及其定向完备化理论的基础上证明了相容代数l - domain的紧元集是l - cusl ，得到了相容代数l - domain的紧元集的理想完备化与其定向完备化同构这一重要结果，从而刻化了相容代数l - domain的定向完备化。 - With these concepts , the following results are obtained : ( 1 ) the set of compact elements in an algebraic l - domain is an l - cusl ; ( 2 ) algebraic l - domains equipped with scott topology are the soberification of their sets of compact elements equipped with pseudoscott topology ; ( 3 ) the ideal completion of an l - cusl is an algebraic l - domain , obtaining a representation theorem for algebraic l - domains
证明了：任一代数l - domain的紧元集是l - cusl ；任一代数l - domain是其紧元集赋予alexandrov拓扑时的sober化；任一l - cusl的理想完备化是代数l - domain ，从而得到了代数l - domain的表示定理。